41![Model-Based Testing: From Theory to Practice and Back Mohammad Mousavi Halmstad University, Sweden 25 Years of Combining Compositionality and Concurrency Model-Based Testing: From Theory to Practice and Back Mohammad Mousavi Halmstad University, Sweden 25 Years of Combining Compositionality and Concurrency](https://www.pdfsearch.io/img/328b04e43f37bb183bd7be47f11f2e73.jpg) | Add to Reading ListSource URL: www.ips.tu-braunschweig.de- Date: 2013-08-13 02:41:32
|
---|
42![THE ALGEBRA AND MODEL THEORY OF TAME VALUED FIELDS FRANZ–VIKTOR KUHLMANN Abstract. A henselian valued field K is called a tame field if its algebraic closure ˜ is a tame extension, that is, the ramification field of t THE ALGEBRA AND MODEL THEORY OF TAME VALUED FIELDS FRANZ–VIKTOR KUHLMANN Abstract. A henselian valued field K is called a tame field if its algebraic closure ˜ is a tame extension, that is, the ramification field of t](https://www.pdfsearch.io/img/26f8487590507f922a1691db784b66ca.jpg) | Add to Reading ListSource URL: math.usask.ca- Date: 2014-03-14 23:30:15
|
---|
43![Jason M Rute* (), University Park, PAApplication of computable continuous model theory to a question in proof theory. There are many ways to express that a sequence converges. They Jason M Rute* (), University Park, PAApplication of computable continuous model theory to a question in proof theory. There are many ways to express that a sequence converges. They](https://www.pdfsearch.io/img/0066554cf7584fbd6482ec1bea03f21f.jpg) | Add to Reading ListSource URL: www.ams.org- Date: 2015-08-29 00:40:53
|
---|
44![Ergodic Theory and its Connections with Arithmetic and Combinatorics 12 – CIRM (Marseille Luminy, France) Weak model sets and dynamical systems of number-theoretic origin Michael Baake (-biele Ergodic Theory and its Connections with Arithmetic and Combinatorics 12 – CIRM (Marseille Luminy, France) Weak model sets and dynamical systems of number-theoretic origin Michael Baake (-biele](https://www.pdfsearch.io/img/665c33fd992815f309a9e753262310b7.jpg) | Add to Reading ListSource URL: www.cirm-math.fr- Date: 2016-11-29 05:59:07
|
---|
45![Fairness Modulo Theory: A New Approach to LTL Software Model Checking Daniel Dietsch, Matthias Heizmann, Vincent Langenfeld, and Andreas Podelski University of Freiburg, Germany a ct Fairness Modulo Theory: A New Approach to LTL Software Model Checking Daniel Dietsch, Matthias Heizmann, Vincent Langenfeld, and Andreas Podelski University of Freiburg, Germany a ct](https://www.pdfsearch.io/img/89629a9689660c2d7b3e9e3449de0331.jpg) | Add to Reading ListSource URL: ultimate.informatik.uni-freiburg.de- Date: 2015-06-23 06:01:21
|
---|
46![THE MODEL THEORY OF SEPARABLY TAME VALUED FIELDS FRANZ–VIKTOR KUHLMANN AND KOUSHIK PAL Abstract. A henselian valued field K is called separably tame if its separable-algebraic closure K sep is a tame extension, that is THE MODEL THEORY OF SEPARABLY TAME VALUED FIELDS FRANZ–VIKTOR KUHLMANN AND KOUSHIK PAL Abstract. A henselian valued field K is called separably tame if its separable-algebraic closure K sep is a tame extension, that is](https://www.pdfsearch.io/img/8bbf0031d7de5c46dc5b2fb80941bfc1.jpg) | Add to Reading ListSource URL: math.usask.ca- Date: 2014-09-10 08:45:20
|
---|
47![SIGGRAPH 2012 Course Notes FEM Simulation of 3D Deformable Solids: A practitioner’s guide to theory, discretization and model reduction. Part 2: Model Reduction (version: August 4, 2012) Jernej Barbiˇc Course notes UR SIGGRAPH 2012 Course Notes FEM Simulation of 3D Deformable Solids: A practitioner’s guide to theory, discretization and model reduction. Part 2: Model Reduction (version: August 4, 2012) Jernej Barbiˇc Course notes UR](https://www.pdfsearch.io/img/b43cfccbc7908eaea5bc5e913767ed5f.jpg) | Add to Reading ListSource URL: run.usc.edu- Date: 2016-06-26 18:56:08
|
---|
48![PHYSICS OF PLASMAS 15, 122509 共2008兲 Linearized model Fokker–Planck collision operators for gyrokinetic simulations. I. Theory I. G. Abel,1,2,a兲 M. Barnes,3,b兲 S. C. Cowley,1,2 W. Dorland,3 and A. A. Schekochi PHYSICS OF PLASMAS 15, 122509 共2008兲 Linearized model Fokker–Planck collision operators for gyrokinetic simulations. I. Theory I. G. Abel,1,2,a兲 M. Barnes,3,b兲 S. C. Cowley,1,2 W. Dorland,3 and A. A. Schekochi](https://www.pdfsearch.io/img/58abc479153016f9b8c3c2ec493f6787.jpg) | Add to Reading ListSource URL: www-thphys.physics.ox.ac.uk- Date: 2009-11-27 14:05:57
|
---|
49![The geometry of model theory and Diophantine geometry London-Paris Number Theory Seminar B. Zilber University of Oxford The geometry of model theory and Diophantine geometry London-Paris Number Theory Seminar B. Zilber University of Oxford](https://www.pdfsearch.io/img/e802ab1944ea824bcfcbdbced9e4ea54.jpg) | Add to Reading ListSource URL: people.maths.ox.ac.uk- Date: 2011-03-27 14:46:04
|
---|
50![Towards general theory of raster data generalization Paulo Raposo & Timofey Samsonov Introduction Despite the raster model’s simplicity, deep conceptual ambiguities exist within it. Every cell covers a certain area in Towards general theory of raster data generalization Paulo Raposo & Timofey Samsonov Introduction Despite the raster model’s simplicity, deep conceptual ambiguities exist within it. Every cell covers a certain area in](https://www.pdfsearch.io/img/940f8418fb6302d5e86e62a8f41e5e81.jpg) | Add to Reading ListSource URL: generalisation.icaci.org- Date: 2014-09-08 04:23:00
|
---|